CdmCL, a Specific Textual Constraint Language for Common Data Model
نویسندگان
چکیده
Common Data Model is an abstract data model for scientific datasets that can be constrained by OCL. To hide complexity of OCL, CdmCL is proposed as a specific textual constraint language for CDM. CdmCL is based on the CDM structure and results in a set of constraint categories. CdmCL provides a user-friendly front end in order to define constraints which are subsequently translated to OCL. The conformity tool is based on an existing OCL checker integrated in EMF. CdmCL is experimented on the OceanSITES standard.
منابع مشابه
A New Formalism Technique for OCL
Modeling, especially domain-specific modeling has growing importance in many fields of software enginering, such as modeling control flows of data processing for example in man-machine systems. Customizable language dictionary and customizable notations of the model elements offered by domain-specific technologies makes software systems easier to create and maintain. Visual model definitions ha...
متن کاملA DSL for EER Data Model Specification
In this paper we present a domain specific language (DSL) for Extended Entity-Relationship (EER) data model approach, named EERDSL. EERDSL is a part of our Multi-Paradigm Information System Modeling Tool (MIST) that provides EER database schema specification at the conceptual level and its transformation into a relational data model, or a class model. EERDSL modeling concepts are specified by E...
متن کاملOptimization Algorithms for OCL Constraint Evaluation in Visual Models
The growing importance of modeling and model transformation has attracted attention to create precise models and transformations. Visual model definitions have a tendency to be incomplete, or imprecise, thus, the definitions are often extended by textual constraints attached to the model items. Textual constraints can eliminate the incompleteness stemming from the limitations of the visual defi...
متن کاملModeling and Verification of Manufacturing Systems: A Domain-Specific Formalization of UML
This article presents a formalization of parts of the Unified Modeling Language (UML) w.r.t. the domain of modeling time-dependant manufacturing systems. The formalization approach is based upon a set of identified general formalization steps. We investigate the applicability of UML class diagrams, Statecharts, and UML’s textual Object Constraint Language (OCL) to model manufacturing systems an...
متن کاملTool Paper: A Lightweight Formal Encoding of a Constraint Language for DSMLs
Domain Specific Modeling Languages (dsmls) plays a key role in the development of Safety Critical Systems to model system requirements and implementation. They often need to integrate property and query sub-languages. As a standardized modeling language, ocl can play a key role in their definition as they can rely both on its concepts and textual syntax which are well known in the Model Driven ...
متن کامل